Перевод: со всех языков на все языки

со всех языков на все языки

соответствие типов

См. также в других словарях:

  • Соответствие Карри — Соответствие Карри  Ховарда (изоморфизм Карри  Ховарда, англ. formulae as types interpretation)  наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… …   Википедия

  • Испытания теплосчетчиков и их составных частей на соответствие требованиям электромагнитной совместимости (5.5) — 8.11 Испытания теплосчетчиков и их составных частей на соответствие требованиям электромагнитной совместимости (5.5) (далее ЭМС). 8.11.1 Общие положения Испытания теплосчетчиков и их составных частей на соответствие требованиям ЭМС проводят в… …   Словарь-справочник терминов нормативно-технической документации

  • Проверка сохранности защитных свойств при испытаниях на соответствие нормальным условиям транспортирования — 1. Проверка сохранности защитных свойств при испытаниях на соответствие нормальным условиям транспортирования 1.1. Проверку защитных свойств проводят для определения однородности материала радиационной защиты контейнера и ее эффективности, т.е.… …   Словарь-справочник терминов нормативно-технической документации

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

  • JavaScript — Не следует путать с Java. JavaScript Класс языка: мультипарадигменный …   Википедия

  • Обобщенное программирование — Обобщённое программирование парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными языками… …   Википедия

  • Зрение человека — Основная статья: Зрительная система Оптическая иллюзия: соломинка кажется сломанной …   Википедия

  • Военное представительство — Знак отличия …   Википедия

  • АКМЕОЛОГИЯ И ПСИХОЛОГИЯ ПРОФЕССИО­НАЛЬНОЙ ДЕЯТЕЛЬНОСТИ ГОСУДАРСТВЕННОЙ СЛУЖБЫ — – новая объединяющая психологию и акмеологию научно практическая область. А. и п.п.д.г.с. разрабатывает теоретически и решает практически вопросы: 1) профессиональной подготовки кадров государственной службы (включая обучение и практическую… …   Энциклопедический словарь по психологии и педагогике

  • ГОСТ Р 50030.5.1-2005: Аппаратура распределения и управления низковольтная. Часть 5. Аппараты и коммутационные элементы цепей управления. Глава 1. Электромеханические аппараты для цепей управления — Терминология ГОСТ Р 50030.5.1 2005: Аппаратура распределения и управления низковольтная. Часть 5. Аппараты и коммутационные элементы цепей управления. Глава 1. Электромеханические аппараты для цепей управления оригинал документа: (обязательное)… …   Словарь-справочник терминов нормативно-технической документации

  • проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… …   Словарь-справочник терминов нормативно-технической документации

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»